Discrete Math Logic Laws